/*
 * Header file contenente l'interfaccia del modulo Caricamento/Salvataggio.
 */
#include <iostream>
#include <fstream>

// Inizio interfaccia del modulo Caricamento/Salvataggio

/* Salva il contenuto della sequenza su un file di testo.
 *
 *  s Sequenza da salvare
 *  nome Nome del file in cui salvare la sequenza
 */
void salva(const desc_sequenza &s, const char nome[]) ;

/* Carica da un file di testo il contenuto della sequenza.
 *
 *  s Sequenza da aggiornare
 * nome Nome del file da cui caricare la sequenza
 * ritorna Vero se il caricamento ha avuto successo, falso altrimenti
 */
bool carica(desc_sequenza &s, const char nome[]) ;

// Fine interfaccia del modulo Caricamento/Salvataggio
